PNUELI, AMIR

PNUELI, AMIR (1941– ), Israeli computer scientist. Born in Nahalal, Israel, he gained his B.Sc. in mathematics from the Haifa Technion and Ph.D. in applied mathematics from the Weizmann Institute for his thesis on calculating ocean tides. His interest in computer science developed during postdoctoral fellowships at Stanford University, Palo Alto, California and IBM's Watson Research Center, Yorktown Heights, New York. He returned to Israel as a senior research associate in the department of applied mathematics at the Weizmann Institute before moving to Tel Aviv University as professor and founder and chairman of the department of computer science (1973–81). From 1981 he was professor of computer science at the Weizmann Institute. Pnueli's main research achievements concern the application to computing of temporal logic, defined as the inclusion of temporal information within a logical framework. He developed what are termed "reactive systems" which extend this logic into real-time methods of formal analysis. With David Harel, he devised "Statecharts," a visual language for modeling reactive systems. His research has influenced the theory, design and validation of computing systems and especially methods for verifying the reliability of complex software such as that used in civil aviation. Pnueli has a long-term and continuing interest in the commercial applications of his research to program design, teaching, message switching, operating systems, data compilation, and military purposes. In 1971 he cofounded the software company Mini-Systems which was, until 1982, Israel's sole provider of computer-aided graphic printing systems. In 1989 he cofounded AdCad, which evolved into I-Logic and produces Statemate, a program dealing with complex computing such as control and communication systems. He is coauthor (with Zohar Manna) of the standard text on temporal logic. Pnueli's achievements have been universally recognized with the Association of Computing Machinery's Turing Award (1996) and many distinguished lectureships. (Michael Denman (2nd ed.)

Encyclopedia Judaica. 1971.

Look at other dictionaries:

  • Amir Pnueli — Saltar a navegación, búsqueda Amir Pnueli Nacimiento 22 de abril de 1941 Nahalal, Israel …   Wikipedia Español

  • Pnueli — Amir Pnueli 2005 Amir Pnueli (* 22. April 1941 in Nahalal, Palästina) ist ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die Verifizierung von Programmen und Systemen… …   Deutsch Wikipedia

  • Amir — (arabe : امیر) est un prénom arabe qui signifie prince. Il possède la même étymologie que émir. Le féminin de ce prénom est Amira. On le rapproche de prénoms germaniques formés à l aide de rik, le roi, par exemple Éric ; il est donc… …   Wikipédia en Français

  • Amir Pnueli — Infobox Scientist name = Amir Pnueli image width = 150px caption = birth date = Birth date and age|1941|4|22|mf=y birth place = Nahalal, Israel death date = death place = residence = citizenship = nationality = Israeli ethnicity = field =… …   Wikipedia

  • Amir Pnueli — 2005 Amir Pnueli (* 22. April 1941 in Nahalal, Palästina; † 2. November 2009 in New York City, New York) war ein israelischer Informatiker, der wegweisende Verdienste um die Einführung der temporalen Logik in die Informatik sowie die …   Deutsch Wikipedia

  • Amir Pnueli — Le Pr Amir Pnueli en janvier 2005 Amir Pnueli (hébreu : אמיר פנואלי) est un informaticien israélien né le 22 avril 1941 et mort le 2 novembre 2009 d une hémorragie intra cérébrale …   Wikipédia en Français

  • Edmund Clarke — Edmund Melson Clarke, Jr. (* 27. Juli 1945) ist ein amerikanischer Informatiker und Turing Preisträger. Zusammen mit Allen Emerson hat er Pionierarbeit auf dem Gebiet der Modellprüfung geleistet. Clarke ist Informatik Professor an der Carnegie… …   Deutsch Wikipedia

  • Liste der Biografien/Pn — Biografien: A B C D E F G H I J K L M N O P Q …   Deutsch Wikipedia

  • NYU — Die New York University (NYU) ist eine renommierte Universität in New York City. Die Universität ist die größte private Universität der Vereinigten Staaten mit insgesamt 39.408 Studenten (Herbst 2004) – davon 20.212 im Grundstudium, 15.884 im… …   Deutsch Wikipedia

  • NYU School of Law — Die New York University (NYU) ist eine renommierte Universität in New York City. Die Universität ist die größte private Universität der Vereinigten Staaten mit insgesamt 39.408 Studenten (Herbst 2004) – davon 20.212 im Grundstudium, 15.884 im… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.